Abstracting Syntax
نویسندگان
چکیده
ing Syntax Brian Aydemir Stephanie Weirich Steve Zdancewic University of Pennsylvania {baydemir,sweirich,stevez}@cis.upenn.edu Technical Report MS-CIS-09-06
منابع مشابه
Processing Abstracting item - dependent information into syntax
ing item-dependent information into syntax
متن کاملE-DART: A Specification Environment to the E-LOTOS Formal Technique
This work presents the E-DART (Enhancements to DART), a graphical environment for the specification of systems based on graphic constructions for the formal description technique E-LOTOS. The use of diagrams reduces the complexity of the specifications turning E-LOTOS accessible even to users not familiarized with a formal description technique. A new graphic syntax was created as well as a spe...
متن کاملHierarchical Syntactic Representation and Processing Abstracting Item-dependent Information into Syntax
Much recent work in computational linguistics emphasizes the role of lexical information in syntactic representation and processing. In this paper, I propose to represent syntax as an abstraction of subcategorization frames, from a word-speciic level to a general, abstract level (syntactic categories). The representation is linguistically perspicuous, and useful for processing. I deene a parsin...
متن کاملAdding Concrete Syntax to a Prolog-Based Program Synthesis System
Program generation and transformation systems manipulate large, parameterized object language fragments. Support for user-definable concrete syntax makes this easier but is typically restricted to certain object and meta languages. We show how Prolog can be retrofitted with concrete syntax and describe how a seamless interaction of concrete syntax fragments with an existing “legacy” meta-progra...
متن کاملRetrofitting the AutoBayes Program Synthesis System with Concrete Syntax
AUTOBAYES is a fully automatic, schema-based program synthesis system for statistical data analysis applications. Its core component is a schema library. Le., a collection of generic code templates with associated applicability constraints which are instantiated in a problem-specific way during synthesis. Currently, ALTOBAYES is implemented in Prolog; the schemas thus use abstract syntax (Le., ...
متن کامل